In Language and Equilibrium, Prashant Parikh offers a new account of meaning for natural language. He argues that equilibrium, or balance among multiple interacting forces, is a key attribute of language and meaning and shows how to derive the meaning of an utterance from first principles by modeling it as a system of interdependent games.His account results in a novel view of semantics and pragmatics and describes how both may be integrated with syntax. It considers many aspects of meaning--including (...) literal meaning and implicature--and advances a detailed theory of definite descriptions as an application of the framework.Language and Equilibrium is intended for a wide readership in the cognitive sciences, including philosophers, linguists, and artificial intelligence researchers as well as neuroscientists, psychologists, and economists interested in language and communication. (shrink)

We investigate the semantics of messages, and argue that the meaning ofa message is naturally and usefully given in terms of how it affects theknowledge of the agents involved in the communication. We note thatthis semantics depends on the protocol used by the agents, and thus not only the message itself, but also the protocol appears as a parameter in the meaning. Understanding this dependence allows us to give formal explanations of a wide variety of notions including language dependence, implicature, (...) and the amount of information in a message. (shrink)

We suggest that the issue of constructing andverifying social procedures, which we suggestively call socialsoftware, be pursued as systematically as computer software is pursued by computer scientists. Certain complications do arise withsocial software which do not arise with computer software, but thesimilarities are nonetheless strong, and tools already exist which wouldenable us to start work on this important project. We give a variety ofsuggestive examples and indicate some theoretical work which alreadyexists.

We offer a probabilistic model of rational consequence relations (Lehmann and Magidor, 1990) by appealing to the extension of the classical Ramsey-Adams test proposed by Vann McGee in (McGee, 1994). Previous and influential models of nonmonotonic consequence relations have been produced in terms of the dynamics of expectations (Gärdenfors and Makinson, 1994; Gärdenfors, 1993).'Expectation' is a term of art in these models, which should not be confused with the notion of expected utility. The expectations of an agent are some form (...) of belief weaker than absolute certainty. Our model offers a modified and extended version of an account of qualitative belief in terms of conditional probability, first presented in (van Fraassen, 1995). We use this model to relate probabilistic and qualitative models of non-monotonic relations in terms of expectations. In doing so we propose a probabilistic model of the notion of expectation. We provide characterization results both for logically finite languages and for logically infinite, but countable, languages. The latter case shows the relevance of the axiom of countable additivity for our probability functions. We show that a rational logic defined over a logically infinite language can only be fully characterized in terms of finitely additive conditional probability. (shrink)

We propose a model for belief which is free of presuppositions. Current models for belief suffer from two difficulties. One is the well known problem of logical omniscience which tends to follow from most models. But a more important one is the fact that most models do not even attempt to answer the question what it means for someone to believe something, and justwhatit is that is believed. We provide a flexible model which allows us to give meaning to beliefs (...) in general contexts, including the context of animal belief (where action is usually our only clue to a belief), and of human belief which is expressed in language. (shrink)

Communication and content presents a comprehensive and foundational account of meaning based on new versions of situation theory and game theory. The literal and implied meanings of an utterance are derived from first principles assuming little more than the partial rationality of interacting agents. New analyses of a number of diverse phenomena – a wide notion of ambiguity and content encompassing phonetics, syntax, semantics, pragmatics, and beyond, vagueness, convention and conventional meaning, indeterminacy, universality, the role of truth in communication, semantic (...) change, translation, Frege’s puzzle of informative identities – are developed. Communication, speaker meaning, and reference are defined. Frege’s context and compositional principles are generalized and reconciled in a fixed-point principle, and a detailed critique of Grice, several aspects of Lewis, and some aspects of the Romantic conception of meaning are offered. Connections with other branches of linguistics, especially psycholinguistics, sociolinguistics, historical linguistics, and natural language processing, are explored. -/- The book will be of interest to scholars in philosophy, linguistics, artificial intelligence, and cognitive science. It should also interest readers in related fields like literary and cultural theory and the social sciences. (shrink)

The primary function of language is communication. We use the tools of situation theory and game theory to develop a definition and model of communication between rational agents using a shared situated language. ;A central thesis of this dissertation is that the key feature of situated communication that enables agents to derive content from meaning is a special type of logical inference called a strategic inference. ;The model we develop, called the Strategic Discourse Model, looks at a single strategic inference. (...) An essential element of a strategic inference is that the content depends on the sentence uttered and on the embedding circumstances. This includes the private and public information and beliefs of the agents, their goals and intentions, and crucially, the other sentences the speaker might have uttered but chose not to. A complete model of communication involves a system of simultaneous strategic inferences. ;When the strategic interaction between two agents is common knowledge between them, that is, when it is a game, the information transfer is a communication. The content communicated is given by the solution to the game. This analysis formalizes Grice's ideas on nonnatural meaning within a situation-theoretic framework. A consequence of our situated analysis is that agents do not need to have the complex and infinite set of nested intentions postulated by the Gricean approach. A simple intention to communicate is all that is required, the ambient game doing the rest of the work. ;This model has many applications. Problems like resolving ambiguity, determining reference, inferring implicatures and indirect speech acts fall within its scope. As one application, we outline a new theory of names and definite descriptions. This account builds upon Russell and Strawson, and Barwise and Perry. The basic idea is that names and descriptions can both be used in various ways circumscribed by an ontological and a communicative constraint. This offers a new solution to the puzzle of informative identity statements and clarifies the referential-attributive distinction. It suggests an approach to the concept of representation. ;An underlying theme is to synthesize situation theory and game theory. (shrink)

This paper extends Parikh's earlier work in semantics with games of partial information and attempts to derive and represent the full content of an utterance from first principles. It also discusses various ways in which this content may be indeterminate.

Aversive autobiographical memories sometimes prompt maladaptive emotional responses and contribute to affective dysfunction in anxiety and depression. One way to regulate the impact of such memories is to create a downward counterfactual thought–a mental simulation of how the event could have been worse–to put what occurred in a more positive light. Despite its intuitive appeal, counterfactual thinking has not been systematically studied for its regulatory efficacy. In the current study, we compared the regulatory impact of downward counterfactual thinking, temporal distancing, (...) and memory rehearsal in 54 adult participants representing a spectrum of trait anxiety. Participants recalled regretful experiences and rated them on valence, arousal, regret, and episodic detail. Two to six days later, they created a downward counterfactual of the remembered event, thought of how they might feel about it 10 years from now, or simply rehearsed it. A day later, participants re-rated the phenomenological characteristics of the events. Across all participants, downward counterfactual thinking, temporal distancing, and memory rehearsal were equally effective at reducing negative affect associated with a memory. However, in individuals with higher trait anxiety, downward counterfactual thinking was more effective than rehearsal for reducing regret, and it was as effective as distancing in reducing arousal. We discuss these results in light of the functional theory of counterfactual thinking and suggest that they motivate further investigation into downward counterfactual thinking as a means to intentionally regulate emotional memories in affective disorders. (shrink)

Editorial Rohit Parikh, Jeffrey Helzner, Episteme, FirstView Article.

Both the Beth definability theorem and Craig's lemma (interpolation theorem from now on) deal with the issue of the entanglement of one language L1 with another language L2, that is to say, information transfer—or the lack of such transfer—between the two languages. The notion of splitting we study below looks into this issue. We briefly relate our own results in this area as well as the results of other researchers like Kourousias and Makinson, and Peppas, Chopra and Foo.Section 3 does (...) contain one apparently new theorem. (shrink)

Counterfactual thinking, or simulating alternative versions of occurred events, is a common psychological strategy people use to process events in their lives. However, CFT is also a core com...

We introduce a generalization of Independence Friendly logic in which Eloise is restricted to a finite amount of information about Abelard’s moves. This logic is shown to be equivalent to a sublogic of first-order logic, to have the finite model property, and to be decidable. Moreover, it gives an exponential compression relative to logic.

Attempts to give a Logic or Semantics for vague predicates and to defuse the Sorites paradoxes have been largely a failure. We point out yet another problem with these predicates which has not been remarked on before,namely that different people do and must use these predicates in individually different ways. Thus even if there were a semantics for vague predicates, people would not be able to share it. To explain the occurrence nonetheless of these troublesome predicates in language, we propose (...) a different approach based on asking the question, “How do these vague predicates help people to communicate with each other?” We show that in general, even though different people assign different extensions to vague predicates, they usually benefit from receiving information framed in terms of them. (shrink)

Each of us has a story which we can think of as a set of beliefs, hopefully consistent. We make our decisions in view of our beliefs which may be probabilistic, in the general case, but simple yes or no as in this paper. Our beliefs are our envelope just as the shell of a tortoise is its envelope. Decision theory—or single agent game theory tells us when to make the best choice in a game of us against nature. But (...) nature has no desire to further or frustrate our efforts. Nature is mysterious but not malign. Things change when there are other agents involved. Then the best thing for us to do will depend on what they do. And they will think the same. And we predict their actions in terms of what we think their beliefs are. But how do we coordinate with others whose beliefs are different? This paper addresses the issue of working together despite different beliefs. (shrink)

I want to start by giving some quotes from Wittgenstein. It is part of his conception of what the foundations of Mathematics are about, a conception which many people have found peculiar and one of my defects is that I am not able to find it peculiar anymore, but find it perfectly sensible.

We give an example of a polynomial time algorithm for a particular algorithmic problem involving vagueness and visual indiscriminability, namely sock sorting.

In his deeply personal yet academically rigorous book, The Ethics of Oneness: Emerson, Whitman, and the Bhagavad Gita, Jeremy Engels takes up the task of describing and critiquing the quintessential U.S. American philosophies of Ralph Waldo Emerson and Walt Whitman. Though much ink has been spilled over these two philosophers, there are two features of Engels approach to their description and critique that make it unique when compared with other books that delve into the history of Indian philosophy’s influence on (...) these American philosophers. Engels’ purpose is not simply to recount the history, but rather to explicate Emerson and Whitman’s philosophies in light of that history in a way that makes them relevant to... (shrink)

A utility-based approach to the understanding of vague predicates (VPs) is proposed. It is argued that assignment of truth values to propositions containing VPs entails unjustifiable assumptions of consensus; two models of VP semantics are criticized on this basis: (1) the super-truth theory of Kit Fine (1975), which requires an unlikely consensus on base points; (2) the fuzzy logic of Lotfi Zadeh (1975), on fuzzy truth values of sentences. Pragmatism is held to provide a key: successful behavior justifies a person's (...) knowledge of the content of a VP. Instead of attempting to determine a consensus underlying successful communication, the utility of individual communications is held to rest on sufficient approximation of meanings between people. 3 Figures, 17 References. Adapted from the source document. (shrink)

We propose a new relevance sensitive model for representing and revising belief structures, which relies on a notion of partial language splitting and tolerates some amount of inconsistency while retaining classical logic. The model preserves an agent's ability to answer queries in a coherent way using Belnap's four-valued logic. Axioms analogous to the AGM axioms hold for this new model. The distinction between implicit and explicit beliefs is represented and psychologically plausible, computationally tractable procedures for query answering and belief..

Deontic Logic goes back to Ernst Mally’s 1926 work, Grundgesetze des Sollens: Elemente der Logik des Willens [Mally. E.: 1926, Grundgesetze des Sollens: Elemente der Logik des Willens, Leuschner & Lubensky, Graz], where he presented axioms for the notion ‘p ought to be the case’. Some difficulties were found in Mally’s axioms, and the field has much developed. Logic of Knowledge goes back to Hintikka’s work Knowledge and Belief [Hintikka, J.: 1962, Knowledge and Belief: An Introduction to the Logic of (...) the Two Notions, Cornell University Press] in which he proposed formal logics of knowledge and belief. This field has also developed quite a great deal and is now the subject of the TARK conferences. However, there has been relatively little work combining the two notions of knowledge (belief) with the notion of obligation. (See, however, [Lomuscio, A. and Sergot, M.: 2003, Studia Logica 75 63–92; Moore, R. C.: 1990, In J. F. Allen, J. Hendler and A. Tate (eds.), Readings in Planning, Morgan Kaufmann Publishers, San Mateo, CA]) In this paper we point out that an agent’s obligations are often dependent on what the agent knows, and indeed one cannot reasonably be expected to respond to a problem if one is not aware of its existence. For instance, a doctor cannot be expected to treat a patient unless she is aware of the fact that he is sick, and this creates a secondary obligation on the patient or someone else to inform the doctor of his situation. In other words, many obligations are situation dependent, and only apply in the presence of the relevant information. Thus a case for combining Deontic Logic with the Logic of Knowledge is clear. We introduce the notion of knowledge based obligation and offer an S5, history based Kripke semantics to express this notion, as this semantics enables us to represent how information is transmitted among agents and how knowledge changes over time as a result of communications. We consider both the case of an absolute obligation (although dependent on information) as well as the (defeasible) notion of an obligation which may be over-ridden by more relevant information. For instance a physician who is about to inject a patient with drug d may find out that the patient is allergic to d and that she should use d′ instead. Dealing with the second kind of case requires a resort to non-monotonic reasoning and the notion of justified belief which is stronger than plain belief, but weaker than absolute knowledge in that it can be over-ridden. This notion of justified belief also creates a derived notion of default obligation where an agent has, as far as the agent knows, an obligation to do some action a. A dramatic application of this notion is our analysis of the Kitty Genovese case where, in 1964, a young woman was stabbed to death while 38 neighbours watched from their windows but did nothing. The reason was not indifference, but none of the neighbours had even a default obligation to act, even though, as a group, they did have an obligation to take some action to protect Kitty. (shrink)

Game Logic is a modal logic which extends Propositional Dynamic Logic by generalising its semantics and adding a new operator to the language. The logic can be used to reason about determined 2-player games. We present an overview of meta-theoretic results regarding this logic, also covering the algebraic version of the logic known as Game Algebra.

Subset Spaces were introduced by L. Moss and R. Parikh in [8]. These spaces model the reasoning about knowledge of changing states.In [2] a kind of subset space called intersection space was considered and the question about the existence of a set of axioms that is complete for the logic of intersection spaces was addressed. In [9] the first author introduced the class of directed spaces and proved that any set of axioms for directed frames also characterizes intersection spaces.We (...) give here a complete axiomatization for directed spaces. We also show that it is not possible to reduce this set of axioms to a finite set. (shrink)